Implementing the Instance Store
نویسندگان
چکیده
We describe the implementation of the instance store, a DL system using a combination of TBox reasoning and database queries to perform efficient and scalable role-free ABox reasoning.
منابع مشابه
Instance Store Database Support for Reasoning over Individuals
We implement an elementary, yet useful form of A-box reasoning using a database to store asserted descriptions of individuals. This provides an effective instance store which can be used in a wide range of applications, including web services discovery and genes classification.
متن کاملThe OWL Instance Store: System Description
We describe the instance store, a system for reasoning about individuals (i.e., instances of classes) in OWL ontologies. By using a hybrid reasoner/database architecture, our system is able to perform efficient reasoning over large volumes of instance data, as required by many real world applications.
متن کاملProgramming languages - application and interpretation
ion has, however, been compromised by the aliasing, and accidental side-effects can leak into the calling contexts, exposing unnecessary implementation details of the procedure. In the early days of programming language design, before programs were particularly sophisticated, the ability to write simple abstractions such as swap was considered valuable (since it is used, for instance, in the im...
متن کاملA Simple DL Instance Store
A simple instance store allows descriptions of objects in terms of concept terms from a DL model and retrieval of those objects through concept queries. It is not a full A-box, as relationships between objects are not represented.
متن کاملThe Instance Store: DL Reasoning with Large Numbers of Individuals
We present an application – the Instance Store – aimed at solving some of the scalability problems that arise when reasoning with the large numbers of individuals envisaged in the semantic web. The approach uses well-known techniques for reducing description logic reasoning with individuals to reasoning with concepts. Crucial to the implementation is the combination of a description logic termi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2004